C data types - PDFSEARCH.IO - Document Search Engine

C data types
Results: 2337

#	Item
141	AN-EA-001: Importing Control/CompactLogix Pre-Defined Data Types for C-more Add to Reading List Source URL: support.automationdirect.com Language: English - Date: 2007-08-08 13:57:00 Computing Software engineering Zip Software Template processor Comparison of C Sharp and Java Communications protocol
142	User-defined Data Types in Rhapsody Techletter Nr 5 Content Add to Reading List Source URL: www.willert.de Language: English - Date: 2015-06-15 03:53:21 Software engineering Computer programming Computing Data types C++ C Type theory C++ classes Const Enumerated type Typedef Struct
143	Mind your Language(s) A discussion about languages and security (Long Version) ´ Eric Jaeger, Olivier Levillain and Pierre Chifflier Add to Reading List Source URL: spw14.langsec.org Language: English - Date: 2014-06-12 22:54:26 Software engineering Computing Computer programming Data types Cross-platform software Object-oriented programming languages Procedural programming languages C Printf format string Relational operator Const Type conversion
144	c Cambridge University Press 2010 JFP 20 (3 & 4): 271–302, 2010. 271 doi:S095679681000016X First published online 29 September 2010 Add to Reading List Source URL: publications.lib.chalmers.se Language: English - Date: 2010-10-22 02:30:22 Software engineering Computer programming Computing Type theory Functional programming Data types Generic programming C++ Type class Glasgow Haskell Compiler Monad Haskell
145	Whiley: a Platform for Research in Software Verification David J. Pearce and Lindsay Groves School of Engineering and Computer Science Victoria University of Wellington Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2013-10-27 00:48:28 C Data types Whiley Struct Foreach loop C++ classes ALGOL 68 Union type Type system Typedef C Sharp syntax
146	JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email: Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2011-01-09 16:00:58 Type theory Data types Object-oriented programming languages Object Program analysis Type system Iterator Const Method Objective-C Type signature Covariance and contravariance
147	A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:58 Software engineering Computing Computer programming Data types Type theory C++ Procedural programming languages ALGOL 68 Type system C++ classes Subtyping Const
148	Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-10-19 12:35:07 Data types Type theory C++ Method Functional languages Standard ML C++ classes Algebraic data type Enumerated type Const Template Nullary constructor
149	JPL Java Coding Standard JPL Institutional Coding Standard for the Java Programming Language Version 1.0 Published March 31, 2014 Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-30 12:26:27 Computing Software engineering Computer programming Cross-platform software Java Data types Procedural programming languages Type conversion Type theory Relational operator C Integer overflow
150	Statically Checking API Protocol Conformance with Mined Multi-Object Specifications Michael Pradel Department of Computer Science ETH Zurich, Switzerland Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2012-04-01 07:44:25 Data types Object-oriented programming Iterator Object Communications protocol Application programming interface Objective-C Type system Software bug Class